How strict is strictification?

How Strict is Your Architecture?

Software architecture has an important impact on maintainability. One of its key functions is to restrict dependencies between system components. However, there are few objective criteria to quantify how well a given architecture does so. In this paper, we propose an objective measure for architecture strictness and report the findings of our case study on architecture strictness with nine real...

How is the Mother Tongue Acquired

Platelet Refractoriness and how it is formed

Abstract Background and Objectives Transfusion of platelet has become one of the main treatments for thrombocytopenic patients to reduce the severity and frequency of bleeding consequences. Failure to attain the desired level of platelets in a patient following platelet transfusion is defined as platelet refractoriness. The purpose of present paper is to review and study the mechanisms involve...

Strictification of Computations on Trees

An attribute grammars describes a computation over a recursive data structure (syntax tree). The corresponding evaluator can be directly encoded as a set of lazy evaluated functions. In this paper we show how this set may be converted into a larger set of strict functions and a collection of new data types. We call this process, which is based on a global data ow analysis, stricti cation. The r...

The Monoidal Structure of Strictification

We study the monoidal structure of the standard strictification functor st : Bicat → 2Cat. In doing so, we construct monoidal structures on the 2-category whose objects are bicategories and on the 2-category whose objects are 2-categories.